package tr.edu.ege.kipler.satisfiability.syntactical;

import java.util.Set;

import tr.edu.ege.kipler.satisfiability.container.WorldConstraintSystem;
import tr.edu.ege.kipler.syntax.WorldElement;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface SyntacticalProcessingStrategy {
	public WorldConstraintSystem process(Set<WorldElement> formulaSet);
}
